I’m pretty sure it will be the BR version, the listed times seems to be the BR times accelerated to 25 fps (PAL standard).
Otherwise it could be the early theatrical source (that ORF1 already broadcasted in 2014) as schorman is guessing; anyway, there is no other source such as a 35mm telecine (AFAIK).
I’ll try to capture the .TS stream (unfortunately, my IPTV provider streams ORF1 at 720p, not 1080p).
The Blu-Ray version is about 130 minutes when played at 25fps and the theatrical is about 127. Excluding the credits, the Blu-Ray is 125 minutes and the Theatrical is about 122.
Playtime is listed as 125 minutes, so they are likely going to play the Blu-ray version and are just not including the Credits in the time calculation.
Shoot! missed the last post. That’s a bummer. Thanks for checking