Da ist wohl heute früh beim Autoupdate was schiefgegangen. Die Datei, die er geladen hat, war defekt. Hab jetzt wieder eine ältere Version eingespielt.