The Rinnensee with the Ruderhofspitze range behind.