What do you do with a disused coal mine? Germany's Ruhr region hopes to deal with the closure of its hard coal mines without losing a vital part of its identity.