germany exported mining equipment to russia