What does Bergsenkungsgebiet mean?

Bergsenkungsgebiet - German to English

area of mining subsidence