text: Das ist auch eingetragen, siehe https://www.openstreetmap.org/way/119316891
  
  Den Schlachthof (https://www.openstreetmap.org/node/2663611747) gibt es laut Webseite aber auch.
  
  In der Standardkarte wird aber nicht beides angezeigt.