On Tue, Jul 03, 2001 at 03:20:28PM +0200, Ulrich Wiederhold wrote: > Heya, > > [x] Stinky > > Uli [x] Stinky Mike