> Which server should I connect to, to get all the required files? http://www.debian.org/distrib/ has all the needed info.