Auch "regedt32" klappt nicht - merkwürdig. Also werde ich es `mal mit einer Neuinstallation versuchen müssen. Trotzdem danke für Deine Ratschläge, die dieses Problem aufgedeckt haben.
Die konkrete Meldung ist übrigens:
"Das Bearbeiten der Registrierung wurde durch den Administrator deaktiviert."
