I'll probably stay off-line for a few days, so let me use this
opportunity to wish a merry Christmas, Hanukkah, Winter Solstice
celebration, etc. to all fellow list members.

Piotr