Hier die Lösung:
Auf der Windows-7-Disk befindet sich im Ordner „Sources“ die Datei Product.ini. Diese mit einem Texteditor öffnen. Man findet hier unzählige CD-Keys für alle Varianten von Windows 7 und Server 2008 R2, die das Windows-Setup-Programm verwendet, wenn man während der Installation die Eingabe des CD-Keys übergeht.
Diese Schlüssel sind nicht aktivierbar, taugen aber für den Anytime-Upgrade. Ich habe den für „Professional“ genommen und bei Anytime Upgrade eingetragen.
Das Upgrade hat prima funktioniert. Danach habe ich in der Systemsteuerung unter System meinen persönlichen CD-Key für Win 7 Prof 64 eingegeben und aktiviert.