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).