Translation of "Dezimaltrennung" in English