Merry Christmas

Hello everybody,

I know it is a bit early, but I am out for the next few days. I wish you and
your families a merry christmas and a happy new year. See you all next
year, hopefully back at developing with pleasure.

Happy Holidays,

Dirk