And when Dutch coach Gerard Kemkers told him the news after he crossed the finish line in what would have been a new Olympic record time of 12:54.50, Kramer threw his sunglasses away in disgust.
BBC: Sven Kramer mistake hands 10,000m gold to Korea's Lee