Ich habe das Zeug jetzt wieder manuell heruntergeladen und installiert. Nachdem das Herunterladen auch nicht auf Anhieb funktioniert hat, denke ich, dass es sein könnte, dass der MS-Server ganz einfach wieder einmal schlicht überlastet ist. Mal sehen...