Wiederherstellen eines verbrochenen oder versetzten Grubenbaus