Croatian-German: translation for "jamska pruga"