Shanghai’s auto exports hit record high