Croatian-German: translation for "prirodni broj"