Marathon und 42,195km: Woher stammt diese Zahl?