100 / 3937 ist genau 25,4000508 und nichts mit Verdopplungsfolge. Kann ich das ändern? Ich habe nicht nachgerechnet, ich denke man sollte darüber sprechen. -- Striegistaler 18:01, 21. Aug. 2013 (CEST)