[412]Pinge(Binge, Bünge), durch Einsturz eines Schachtes auf der Erdoberfläche entstandene kegelförmige Vertiefung. Pingenbau, einfache Art des Tagebaues.
Quelle:
Brockhaus' Kleines Konversations-Lexikon, fünfte Auflage, Band 2. Leipzig 1911., S. 412.