Das pittoreske Walenseeufer bei der Badestelle «Lago Mio».