Western Europe's highest peak is shorter than it was when last measured by scientists.