Danke für den Tipp. Habe ein Mini-Programm gefunden, das man nicht installieren muss, nur entpacken (von USB-Stick gestartet). Hat gereicht.
In einem Artikel von PC-Welt verlinkt: produkey (Link müsste ich erst wieder suchen), allerdings nur in 64-bit-Version