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