Danke für die schnelle Antwort. Nach meinem Post gestern Abend wurde noch das neue Windows-Jubiläumsupdate installiert (u.a. verschönerte Oberfläche) und seitdem ist das Problem nicht nochmal aufgetaucht. Viel Zeit zum Testen hatte ich zwar noch nicht, aber vielleicht hat es sich ja nun damit erledigt. Falls ich wieder Probleme bekomme, werde ich es mit deinem Vorschlag ausprobieren und berichten.
Gruß