韩国7月制造业PMI 53.1,前值 52.1。