"region of mining subsidence" Deutsche bedeutung