> > What happened to os.inf.tu-dresden.de ?? It's now called non-us.debian.org :). -- joost witteveen, joostje@debian.org My spamfilter is so good, it correctly catches 90% of incoming spam, *including* all email from my PhD supervisor. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-user-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .