text: Vielen Dank für den Hinweis.
  Habe noch die Eingänge ergäntzt. Die Hallen an sich waren schon in der Datenbank vorhanden.
  https://www.openstreetmap.org/relation/3095246
  Ob, wie und was dargestellt wird, liegt in den Händen der Kartenrenderer.
  https://wiki.openstreetmap.org/wiki/Tagging_for_the_renderer
  