Seks tideler bak verdensrekorden på én engelsk mil

3.43,73 lyder den nye europeiske rekorden til Jakob Ingebrigtsen.