Croatian-German: translation for "Arhimedov aksiom"