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