Punkt als Dezimaltrennzeichen