爱尔兰5月制造业PMI 55.0，前值56.1。