INFO:

Sourced from that awful PAL DVD copy of the movie that is all around the internet
Detelecined from 25fps to 23.80 (weird FPS I know, but that's what came out and keeps the runtime exactly the same, 2:14:09)
Square pixels (no more anamorphic)
AI upscaled to 3840x2160 Jpeg sequence with Topaz
Synced to audio

Encoded to 37.3mbps HVEC and then down scaled to 1080p H264