Croatian-German: translation for "kratersko jezero"