Croatian-German: translation for "rudarska industrija"