text: Hallo,
  die bezeichnete Markthalle und alle Angaben im CS (https://www.openstreetmap.org/changeset/44285702) existieren hier seit vielen Jahrzehnten nicht mehr. Deshalb gehören sie m.E. nicht in OSM: hier geht es um den Ist-Zustand der Welt ;)
  
  Schöne Grüße