en maskinhall ( 10 , 000 kv.-m .)