ftp.se.debian.org is broken. it is not in DNS any more. What is wrong? While it is down, what other good mirror (with sources) is fast and nearby?