konsthall , en industrihall , en maskinhalloden