the machine 129.13.126.5 is under attack by denial of service attacks, but our network people could not tell me details, why, how, who, ... moved the debian i386 potato 2.2rev0 cd´s (with one bit error fixed) to a different machine: 129.13.126.9 (fwi-merkur.wiwi.uni-karlsruhe.de). the old machine is limited to internal services, the old ip is dead. please use the new server and update the web pages. thanks. regards, andreas