Hi all, I tried to reach www.debian.org and got no answer (mozilla and ping) - other adresses - among them the Austrian mirror responded - is debian.org down? :-/ Does anybody know about? TIA -- M.f.G. Georg Koss mailto: g.koss@eunet.at