德国 7 月综合采购经理人指数(PMI)优于预期,达到 51.2