Německý index nákup. manažerů v průmyslu za červenec revidován výš na 51,8