Installed on mi9. No Problems so far. Great work. Thanks Xiaomi.eu.
If changed from Global Rom to Xiaomi.eu Weeklys, because I was not willing to wait for 12.5 Update any longer. My first version was 21.5.20. I updated know to 21.5.27 without Problems.
I should have done the change much earlier...