@ Benjamin
Ich denke da wird einfach gerundet, zu Gunsten des Springers. Er hätte ja dann 125,5 m springen müssen, die 125,4 m gibt es ja so nicht.
Wenn er 125,7 gebraucht hätte, dann könnte ich mir vorstellen, dass es 125,5 m hätten sein müssen. Oder stehe ich mir auf dem Schlauch?