OK, es lag am neuen Driver Booster 4! JRT hatte das Programm ja beim ersten Durchlauf gelöscht. Mein Flash Player funktionierte danach auch wieder. Das Programm habe ich dann aber neu installiert, und er funktionierte wieder nicht. Programm gelöscht, FP lief wieder einwandfrei.
Gibt es denn eine gute Alternative zum Driver Booster oder sollte man darauf verzichten (weil Windows sowieso regelmäßig nach Updates aller Treiber sucht)?