meddelas , att hufvudhallarnes golfyta ; skall uppgå till 12.000 qv.-meter ,således