Is Mount Everest bij de beving in Nepal van 25 april gegroeid of gekrompen?

Ik verwacht dat de top van Mount Everest meer is gestegen, dan het jaarlijkse gemiddelde van iets meer dan 4 mm. Maar hij zou ook onder zijn eigen gewicht in kunnen zakken.