Was ist eine Pinge?

Nach dem Grimmschen Wörterbuch ist ein Pinge (oder Binge, Bünge, Pünge) eine runde Vertiefung an der Tagesoberfläche, die durch einen alten Bergbauschacht entstanden ist, der aufgrund seines Alters zusammengestürzt ist und dieses Relikt hinterlassen hat.