Hotel Vier Jahreszeiten am Schluchsee, Schluchsee