Německo: Index nákupních manažerů v průmyslu v červenci klesá na 51,5 z 51,9