Oder er hatte ebenfalls keine 16GB frei auf der Partition. Oder hat den Downloader unter
MacOS mit Wine oder so nem Scheiß gestartet, dann kann das ja eh nichts werden