Advent calendar day 17: It's Rudolph!