For today's selection for this year's Christmas playlist, a Christmas Carol... By Tom Lehrer.