Nun habe ich Tokyo nochmal komplett deinstalliert - weil ich eine komplette Neuinstallation starten und dabei aufzeichnen wollte, was schief geht.
Und siehe da - Tätärätäää - Tokyo installiert sich von Geisterhand.
Ich sag ja: man muss nur den richtigen fragen, dann gehts. Danke Uwe