Maskinsalen , af hvilken 14.000kvadratalnar