Mines de sel de Bad Friedrichshall,