Ausführlicher Bericht über den mutmaßlich schnellsten deutschen in Vollzeit arbeitenden Läufer folgt!
Aber eins vorweg: Nach 8:02,88 Minuten über 3000 Meter am Freitag (Platz 11) und dem 1500-Meter-Zwischenlauf am Samstag war das sonntägliche Finale mit Platz acht der Glanzpunkt in Sebastians DM-Karriere!