> > What happened to os.inf.tu-dresden.de ?? It's now called non-us.debian.org :). -- joost witteveen, firstname.lastname@example.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 email@example.com . Trouble? e-mail to firstname.lastname@example.org .