Allemagne : la production industrielle se redresse en juillet