Croatian-German: translation for "formalne znanosti"