Gravar e-mail: Quantification of mining subsidence in the Ruhr District (Germany)