Manger Mania!: a children's musical drama for Christmas