German-Croatian: translation for "Polytechnikum"