德国5月建筑业PMI 42.4，前值42.1。