I don't know but there is file called xiaomi.eu_multi_HMK20ProMI9TPro_9.10.10_v11-10.zip in downloads.anyone ?
xiaomi.eu_multi_HMK20ProMI9TPro_9.10.10_v11-10.zip | by Xiaomi.eu for Generic Device/Other
Download GApps, Roms, Kernels, Themes, Firmware, and more. Free file hosting for all Android developers.
androidfilehost.com