Hoe hoog is de Mount Everest precies? Dankzij de coronacrisis wordt de berg opnieuw opgemeten