Läufer Joshua Cheptegei verbesserte Weltrekord über 5.000 m