Habs tatsächlich mit https://openingh.openstreetmap.de/evaluation_tool/ geschafft, das alles in opening_hours auszudrücken. Die Sommer-/Wintersaison hab ich aber auf ganze Monate gekürzt, dann gilt das jedes Jahr ungefähr so.  Für genaue Info dann noch die opening_hours:url eingetragen...
https://www.openstreetmap.org/changeset/178142035