Inkoopmanagersindex industrie eurozone valt terug in juli