Bei derartigen Hallen sollte man m.E. immer unterschiedliche Gebäude mappen (sofern man Lust dazu hat, “richtiger” wäre es), auch wenn die Hallen im Inneren verbunden sind. Dazu kann man aber evtl. auch anderer Meinung sein. Gebäude, die verbunden sind, werden dadurch nicht zu einem Gebäude, m.M.n.