Compare pbs: HoR harthahn vs ???

ms (1s ^= 1000ms)

laps