Hallo, wo bitte finde ich die Öffnungszeiten für die Feiertage für beide Bäder. Sie sind nicht gesondert aufgeführt. Oder ist an Feiertagen generell geschlossen?