A mountain lake in southwestern Germany