Hi. Thanks for reply. I used the file marked Mi Mix from this page.
https://sourceforge.net/projects/xiaomi-eu-multilang-miui-roms/files/xiaomi.eu/MIUI-WEEKLY-RELEASES/8.6.14/
Obviously it is the wrong one. Where can I find a file to load using fastboot? My phone is unlocked but not rooted.