Verwendung des Neustarts unter Windows 10-Update vom Mai 2020