exportation de materiel minier allemand vers la chine