Croatian-German: translation for "ekstenzionalnost"