Ich hatte den kuriosen Fall, dass ab und zu das Startmenü von Windows 10 nicht mehr funktionierte. Wenn man den Windows-Button angeklickt hat, passierte nichts. Das wäre nicht weiter schlimm gewesen, da ich Programme ohnehin nur über die Windows-Taste auf der Tastatur und ihren Anfangsbuchstaben öffne - ganz ohne Maus. Aber auch das ging nicht mehr. Jetzt habe ich eine Lösung gefunden.