德国10月建筑业PMI 41.6，前值43.5。