Croatian-German: translation for "savezni sud"