Gli antichi alloggi dei minatori, noti come le Case Rosse