Německo: Index PMI průmyslu za červenec po revizi potvrzen na 38,8 b.