So, hab einfach mal von einem anderen Mirror runtergeladen und nun geht es.
Allerdings komme ich nach dem Intro nicht sehr weit, da die Anforderungen an den Arbeitsspeicher leider etwas zu hoch sind (Notebook ist 7 Jahre alt).
Ich sollte also erst mal herausfinden, wo, wie und womit ich meinen Arbeitsspeicher erweitern kann.