Pinge

Vertiefung im Gelände, die durch bergmännische Schürfarbeit über Tage oder durch Nachbruch eines Abbaustollens oder -schachts entstanden ist