Wie viele Marathonläufer gibt es in Deutschland?