Artikel zu übertägigen Gebäuden eines Bergwerks.