During the holiday season, my thoughts turn gratefully to those who enriched my life, made progress possible and my work (it’s rather a hobby) enjoyable. And what a year it was. The size of a post however is not appropriate to review and pay tribute. Therefore the link to a longer thank you story here.