och blir Industripalatsets börslokal samt de frän densamma utgående gallerierna.