Baden im Walensee, Relaxen und Einkehren — im «Lago Mio» am Walensee ...