德国 10 月制造业 PMI 终值 54.2，初值 54.2。