[said88]

Ich bin mir sicher, das wurde schon ausgiebig in letsrun besprochen, vielleicht find ich noch was.

Auf letsrun habe ich auch schon etwas rumgesucht, gefunden habe ich die 55,0 für El Guerrouj und die von Wellmann genannten 54,17 für den ersten Pacer. Mitstoppen von Videos birgt Ungenauigkeiten wenn die Abspielgeschwindigkeit nicht mit dem Originaltempo übereinstimmt (unterschiedliche Frameraten bspw.) Bessere wäre eine mitlaufenden Uhr im Video, die auf dem Canal+ Mitschnitt leider fehlt.

Ja, ganz genau kann das nie sein. Aber ich hab natürlich alle Zwischenzeiten und auch die Endzeit (immer so etwa 3:25,8) gestoppt. 
Das berücksichtigt komme ich auf höchstens 54,4. Die Stadionuhr lief mit, vermutlich hat Wellmann da die 54,17 abgelesen? El Guerrouj war doch nicht 8 Zehntel hinter dem ersten Tempomacher. 55,0 kann - nach meiner Einschätzung - niemals stimmen.