Eurozóna: Index PMI průmyslu za červenec po revizi potvrzen na 42,7 b.