德国5月建筑业PMI 50.8，前值51。