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