Euroområdets inköpschefsindex för industrin sjönk till definitiva 42,7 i juli, jämfört med 43,4 föregående månad.