Da die Laufstrecke vielen keine Ruhe lässt, hab ich einfach meine Erinnerungen und die Streckenkarte des Veranstalters genommen und die Strecke bei runmap angelegt. Ich komme dabei für eine Runde (ab Ausgang der Wechselzone) auf 4,359km. Also sind 2 Runden 8,718km. Dazu noch die 200m vom Ausgang der Wechselzone bis zum Ziel macht 8,9km. Genau das was auch eure GPS-Systeme gesagt haben.
http://www.runmap.net/route/1180565