Croatian-German: translation for "jamsko rudarstvo"