en konsthall , en industrihall , enmaskinhall