Am Mittwoch, dem 15.8., ruhen wir uns (verdientermaßen) am See aus - wir wünschen einen schönen Feiertag!