Bei "Tauchen" denken die meisten an bunte Fische, Korallen und ein türkisfarbenes Meer. Doch auch unter Tage lässt sich ins Wasser steigen: Bergwerkstauchen ist ein ganz spezielles Erlebnis - und zwar in Deutschland.