Yeah the difference between the grid of white dots on the right (some control panel?) is quite noticable in terms of sharpness, but the PAL set doesn't suffer the jaggies which is much, much more preferable to me as they really show up when projected onto a big screen.

For my transfer I'm going to have to use some video clips from the definitive set, I can't use the German set's video completely because the intro text is in German as are the subtitles (they burnt it into the picture instead of the black border

), hopefully the difference when swapping scenes between the German & definitive set should be unnoticable.