Hello all,
I downloaded the TWRP_lmi.img file from here https://androidfilehost.com/?fid=8889791610682877443 and xiaomi.eu_multi_HMK30Pro_V12.0.1.0.QJKCNXM_v12-10.zip from https://sourceforge.net/projects/xiaomi-eu-multilang-miui-roms/files/xiaomi.eu/MIUI-STABLE-RELEASES/MIUIv12/.
However...