Croatian-German: translation for "jamski kop"