The running time on the back of the sleeve is 128 MIN.
Running time of the movie is also 128 MIN.
The release in North America is 133 MIN. Which is the time listed on IMDB as well.
I have not yet done a comparison to check if footage has been cut or possibly the short running time for this U.K. release is the result of time compression.