韩国5月制造业PMI 54.8，前值 53.6。