I made the change. You can review it here https://openingh.openstreetmap.de/evaluation_tool/?EXP=Mo%2009%3A00-12%3A00%3B%20We%2CFr%2014%3A00-18%3A00%3B%20Th%2CSa%2CSu%2CPH%20Off&lat=48.7769&lon=9.1844&mode=0&DATE=1726881360000