China’s May data dump showed weaker-than-expected industrial production, despite earlier reports of stronger exports. Domestic retail sales were stronger, slightly distorted by the timing of holidays. Restaurant sales were stronger, as people seem inclined to spend on having fun.