Croatian-German: translation for "konveksni skup"