Croatian-German: translation for "Heinrich Četvrti"