
Ausführlicher Virencheck verlief ergebnislos.
Habe nun die neue Version des Browsers heruntergeladen, bin mir aber unsicher, ob ich die alte Version problemlos deinstalliert bekomme, falls ein File beschädigt sein sollte. Was meint ihr? Windows 10 Home, Version 1709 (glaube ich).
