Vielen Dank für die Hinweise, es hat geholfen! ![]()
Und der Hinweis zu Windows 10 ist auch interessant, ich bin nämlich immer noch nicht sicher, ob ich demnächst upgraden soll oder doch lieber nicht - jetzt wo ich mich an Windows 8.1 und seine Marotten (fast) gewöhnt habe.