Původní budovy patřící k dolu.