Ok, I could imagine this is a tough one:
I had problems with my GPS, so I wanted to get root access.
Contacted Xiaomi to unlock my phone: worked fine.
Next up to get it rooted, I installed a fresh version of the TWRP recovery, since the old one for some reason disappeared after I installed the...