Der Illasbergsee ist ja eigentlich eine Bucht des Forggensees, aber doch viel wärmer. Wir genießen das frische Nass.