rock salt mining in germany