Ingrid Kristiansen then has smashed the world record, running the 5000 metres in 14:58.89. Truly amazing. Incidentally, this is a personal best for Ingrid Kristiansen.