Hi Orjon,
Thank you for your help (I suspected it would be something trivial but I could not work it out without your help).
I was therefore able to successfully flash eu ROM onto chinese Redmi Note 7 Pro.
Just to confirm (it may of help to somebody else) I had to use Peter's twrp (official...