[886]Niedergehen (Bergw.), in die Tiefe verstürzen. Eigentlich geht nicht eine Grube, sondern nur deren nicht genügend gestützte Decke nieder, u. es entsteht dann eine Bünge od. Pinge.
Quelle:
Pierer's Universal-Lexikon, Band 11. Altenburg 1860, S. 886.