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