@Gelopa Hi, just wanted to give you a heads up:
I was able to fix the issue, today. After several tries, also with SP flash tool (to no avail), and for and back with adb tool (on Windows virtual machine and pure Centos server), I simply used another TWRP, this time the newest from xiaomi.eu ...