Croatian-German: translation for "gradevinska rupa"