Actually the src is automatically installed if you just paste the first line.

Thanks for the hint, the mirror works.