Thank you all for many interesting and stimulating discussions. Sadly,
I have to leave the list now. I would like to take this opportunity to
wish you all a very happy Christmas and New Year. Hopefully I'll be back
some day!
Best regards,
\Gary
--
Real Programmers always confuse Christmas and Halloween
because OCT 31 == DEC 25 !