framstälda farhågorna för Industrihallens otillräckliga utrymme varit mycket öfverdnfna.