Lagginhorn: An easy 4 000-meter peak