German-Croatian: translation for "Endliche+Menge"