Danke für den Hinweis, ich verwende in der deutschen Fassung grundsätzlich die internationale (wissenschaftliche) Zahlenschreibung mit Punkt als Dezimaltrennzeichen und Komma als Tausendertrennzeichen. Denke, das sollte endlich umgestellt und vereinheitlicht werden.