Croatian-German: translation for "rudnik je potopljen"