Hat das Waldgirmeser Bad nicht nur ein 25 Meter Becken?