Schließlich habe ich Windows 10 neu installiert, Version 1803 mit allen Updates. Und ich habe alle Apps wieder installiert.
Dabei habe ich ein Problem festgestellt, das Nuance PaperPort 14.5 mit Firefox Version 62 hat. PaperPort ist nicht gestartet. In der Ereignisanzeige wurde ein Fehler protokolliert, der aber nichts ausgesagt hat.
Nach Rumsuchen im Internet habe ich die Lösung gefunden. Letztlich musste ich die Registry bei einem PaperPort-Wert ändern. Die ganze Misere mit PaperPort und Firefox ist u.a. hier beschrieben:
Ich vermute, dass ein Firefox-Update das Problem in PaperPort verursacht hat, und dass es deshalb zum Bluescreen kam. Aber genaues weiß ich nicht. Keine der Fehlermeldungen in der Ereignisanzeige ist aussagekräftig.