Tonight’s Christmas movie: How the Grinch Stole Christmas