英国11月制造业PMI终值47.2，为2023年4月以来新高。