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