Hallo bndkt,
Danke für den Hinweis, laut https://wiki.openstreetmap.org/wiki/Key:source:opening_hours ist die Webseite eine mögliche Quelle, daher trage ich die Öffnungszeiten entsprechend ein und ergänze source:opening_hours sowie opening_hours:url.
Gruß,
Hendrik