OK, I flashed the version 7.1.3 stable with MiFlash in download mode. Then I updated to the official Developer ROM and successfully unlocked the phone :)
Now I need to install the Xiaomi.eu TWRP. On the Download ROM page it says only "Install TWRP zip via Updater app, then install our ROM". How...