Eurozóna: Index nákupních manažerů v průmyslu za červenec po revizi 52,4