Satte europarekord. Men NRK-profil mener én ting kunne gjort at Jakob Ingebrigtsen løp enda fortere