Tyska gruf- och järnindustrien.