Informationsträger Grubengebäude : ein Leitfaden für Dokumentation und grabung unter Tage - Babist, Jochen (Leidorf, 2020)