On Sun, Oct 20, 2002 at 12:39:44PM +0200, Gerhard Tonn wrote: > Thanks for pointing that out. There was a problem with the buildd. Is > uploaded now. Thank you! Thomas --