Merry Christmas everyone. I donate this instead of sending Christmas cards, in honour and the memory of John Hatchman.
