Unable to answer "What are the opening hours here?" – Kasse des Badesees (Ticket Seller) – https://osm.org/way/1065337151 via StreetComplete 58.2:

https://www.hainburg.de/kultur-freizeit/freizeit-und-sport/badesee/