German-Croatian: translation for "Gesetzt,+dass..."