欧元区7月制造业PMI终值 51.9，初值 52。