Croatian-German: translation for "realni brojevi"