Today I received my unlock code from Xiaomi. Unlocking was done in seconds after I discovered that you must be logged into your Mi-Account on the phone, too.
Flashing TWRP was so easy and fast, started TWRP, formatted DATA, pushed the newest ROM (6.9.15) to the phone, installed the ZIP...