Hallo,

ich habe die Öffnungszeiten auf 

Mo-Fr 09:00-12:30,13:30-18:00; Sa 09:00-13:00; PH off; Dec Sa 09:00-18:00

geändert. Wahrscheinlich stimmt es noch nicht ganz, weil der letzte Samstag nach Weihnachten wohl nicht mehr dazu zählt.

siehe

https://wiki.openstreetmap.org/wiki/Key:opening_hours#Exception_based_on_month

https://openingh.openstreetmap.de/evaluation_tool/