德国5月建筑业PMI 48.1，前值49.7。