Happy Christmas.

No blog today. If you would like to send a comment normal service  resumes tomorrow.