Ok. THAT did the trick. I don’t know why, but yeah, after
- Scan for the gateway
- dumb “add as Thing” for it
- dumb “add as Thing” for all devices
=> it’s still online after 5mins. Even without pasting the developer key into the bridge-Thing?
so - never rename the Xiaomi-Things… I guess!