Konnte es jetzt prüfen und da ist nichts auffälligen:

Habe die registry durchsucht, aber bis auf in irgendwelchen Druckereinstellung ist das Name nirgends zu finden. Der Name wurde geändert und irgendeine Idee, wo es noch herkommen könnte?
Danke Christian