Croatian-German: translation for "radionicka dvorana"