I wish everybody a Merry Christmas. As I suspect this will be my last post before vaction, Happy New Year to everybody!