【提醒】北京时间09:00将公布：中国7月官方制造业PMI。