Well, I finally succeeded to install this.
The steps above did it (more or less):
Flash_all the first time did give a failure, something like "image too large", when writing the system img.
Tou have to select 'flash all' at the bottom of MiFlash before pressing the 'Flash' button
Repeatedly...