Beim Restaurant und Kiosk habe ich es so eingetragen: opening_hours=Su,PH 08:30-19:30; May Mo-Sa 08:30-20:00; Jun,Jul,Aug Mo-Sa 08:30-20:30; Sep: Mo-Sa 08:30-19:30

Beim Spielplatz so: opening_hours=24/7; Su,PH 08:30-19:30; May Mo-Sa 08:30-20:00; Jun,Jul,Aug Mo-Sa 08:30-20:30; Sep: Mo-Sa 08:30-19:30

Wenn man auch im Winter im Baggersee baden kann, dann kann man die Werte vom Spielplatz übernehmen, sonst vom Restaurant.

https://www.openstreetmap.org/changeset/158933773