«Damp (mining)» in German with a Parallel Translation