Ne, hab ich extra geguckt. Da sind nur meine Profil-Ordner drinnen... :-/
Ich werde jetzt meinen PC platt machen und von Windows 7 32-bit auf 64-bit umsteigen. Nehme an, dass das Problem dann eh weg ist (zumindest hoffe ich es
).
Jedenfalls danke für die Hilfe.