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.