A mountain lake in the bavarian alps (Walchensee)