PMI da Alemanha volta ao crescimento em julho com força da indústria