ftp.uni-stuttgart.de ftp.uni-stuttgart.de ftp-master.tik.uni-stuttgart.de ftp.halifax.rwth-aachen.de
mirrors.univ-reims.fr mirrors.univ-reims.fr mirrors.univ-reims.fr ftp.uni-stuttgart.de