By the way, those mountains are big. The peaks are up about 2500 m (8000 ft) from the lakes at their base. (And it was windy as usual, as you can tell by the whitecaps on the not-very-big lake...)