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