Merry Christmas everyone!

And soon a happy new year!