how germany exported mining equipment to russia