verlassener oder zu Bruch gegangener Grubenbau