In Germany, a village disappears to make way for the mines