German-Croatian: translation for "Formale+Logik"