Ich habe die Öffnungszeiten so gedeutet, dass sie im Winter Dienstags 1 h früher zu machen: https://www.openstreetmap.org/changeset/148139320. (Geprüft mit https://openingh.openstreetmap.de/evaluation_tool/?EXP=Mo%2CWe-Fr%2007%3A00-12%3A30%2C13%3A00-16%3A00%3B%20Tu%2007%3A00-12%3A30%2C13%3A00-18%3A00%3B%20Nov-Mar%20Tu%2007%3A00-12%3A30%2C13%3A00-17%3A00&lat=48.7769&lon=9.1844&mode=0&DATE=1712418420000)