ein erneuter anruf bei der hotline der bäderbetriebe (am telefon war kürzlich von 3.mai als öffnungstermin die rede, auf der webseite steht allerdings der 1.mai) ergab: es geht tatsächlich am 1.mai, morgens um 7 los. in nicht mal mehr 2 wochen. yippieh.