I have a Redmi 4 Pro (markw) bought in an official Xiaomi Shop in Shanghai (Joy City Shopping Mall).
The phone is unlocked officially. TWRP 3.0.2-0 (TWRP_markw) is installed via fastboot.
But I can not flash the Xiaomi.eu ROM.
Currently the latest China Developer ROM is installed (6.11.17...