Jim, That is the first time I have read the story, I did however had the chance to see the history of Christmas on an educational show some time back. This site and the program both tell about the same story. Thanks for posting it.
Mery Christmas and all the best,
George