韩国5月制造业PMI 47.7，前值 47.5。