More sites for the non-UNIX ports, plus ftp.gwdg.de