Eurozone PMI jumps to 51.9 as German manufacturing rebounds in July