War prinzipiell schon seit https://www.openstreetmap.org/changeset/154288697 eingetragen, aber es wurde vergessen den disused=yes Tag zu entfernen. Ist samt aktueller Öffnungszeiten jetzt mit https://www.openstreetmap.org/changeset/180342101 gefixed.