廃坑になる はいこうになる <はい'こう>　に　なる

aufgegeben werden stillgelegt werden Grube, Bergwerk