exportation de matériel minier allemand vers la chine