From all of us to all of you:
Merry Christmas, Happy Holidays, and many thanks for a wonderful 2018!
