英国10月制造业PMI终值 57.8，初值 57.7。