german exporters of mining machine parts