hints: To download large files, you may want to use wget, which allows to restart downloading on partially loaded files too.