why was miner hall demolished