Croatian-German: translation for "formalni dokaz"