Parkhotel Flora am Schluchsee, Schluchsee