On Thu 14-Aug-2003 at 02:51:42PM +0200, Kai-Uwe Behrmann wrote: > > Thanks for reporting. I did not mention this till now :-( > -> fixed, however please try again. That works fine now. Now I can find some real bugs ;-) -- Bruno