The russian hdtv is not the correct format (some minor cropping on the sides) and has a green haze.

The Pal DVD is better and is the best representation of the original colors. I think I can remux it at 24fps using mkvtoolnix and get the soundtrack also back to correct pitch and speed with eac3to, it will display at 1024x576.

It not 720p, but pretty near. In fact, this can be done with most Pal DVDs. The vobs actually have the correct frames, they are just flagged to be read at 25fps. Using tools, you can without reencoding them, have them in a mkv at 23.976. From then it's just a matter of applying the correct audio track and subs.