a alemanha exportou equipamentos de mineração para a rússia