RecodeX 重构消息，德国7月制造业PMI终值为52.2，符合预期，与前值持平。