Alles o.k. soweit. Der Hinweis auf fastboot getvar product war goldrichtig.
Das letzte OTA Miui12 update lief als "nitrogen". Hatte mich gewundert, irgendwie..
TWRP: Das war alles mal einfacher - einfach lazyflasher und magisk installieren.
Eigentlich wollte ich (nicht offizielle) Pixel Experience flashen. Aber jetzt lass ich das lieber.
Eine Frage doch noch: Was ist mit magisk install bzw. Makisk-Manager.apk.?
root wäre gut.