Nothing posted here has been properly graded yet, the UK print is actually pushed slightly towards red, the green tint you are seeing in the samples is just the rough colour balance done to assess what colour is left in the print.
The UK print is the least faded, but still a bit pink, the German print is very, very pink, but it looks like the colour is recoverable for the most part. The darkest scenes are always the problem, as there is very little blue to begin with, so once it fades it is hardest to recover.

As for Jedi, it looks like nearly all the first run 1983 prints have the blue cast, I have seen many prints now and they are all blue in those scenes. I have seen an intermediate print that is not blue, so it looks like it was either a decision to try and get a ‘look’ for the release, that ended up leaning too far into blue, or more than one lab had the problem, which seems a bit less likely.

Either way, Jedi will need to be re-scanned with the light source catering for the blue to let us get the most out of the scan. Keep in mind though, that the original theatrical version of Jedi had very dark scenes, and the was intentional to hide some issues with the ‘puppets’ and effects, as well as to set a very gloomy mood in the Jabba’s palace scenes. The scenes are darker than a modern audience would expect/accept these days I feel.