Mein Seattle-Lizenzmanager listet Tokyo auch nach einem beherzten Klick auf "Aktualisieren", dabei hab ich das noch gar nicht heruntergeladen.
Interessant! Ich hatte heute schon mehrmals den von Berlin bemüht, aber er wollte einfach keine Tokyo-Lizenz finden. War vielleicht noch zu früh.