German-Croatian: translation for "Hochster+Satz"