German-Croatian: translation for "Formaler+Beweis"