日本7月制造业PMI终值51.2，初值51.4。