Danke Drachen!
Meine Sorge ist, dass die Installationsroutine völlig durcheinander kommt, wenn sie bemerkt, dass an jener Stelle, an der die 64bit-Version installiert werden soll, bereits eine 32bit-Version vorhanden ist (ich würde sie gerne drauf lassen bis die neue läuft).
Es ist mir auch nach wie vor ein Rätsel, wie die 32bit-Version in das 64bit-Programmverzeichnis gelangen konnte.