Rudolph and Frosty's Christmas in July

Rudolph and Frosty's Christmas in July is a 1979 American Christmas/Independence Day film produced by Rankin/Bass Productions, featuring characters from the company's holiday specials Rudolph the Red-Nosed Reindeer (1964) and Frosty the Snowman (1969), among others. It was filmed in Japan using the company's trademark "Animagic" stop-motion animation style. The film was originally a theatrical film released on June 8, 1979, in Lexington, Kentucky, through Avco Embassy Pictures, where it ran for only one week; the film's expansion to other cities was quietly cancelled. Later that year, on November 25, the film premiered on television in the US on ABC.

Synopsis from Wikipedia, CC BY-SA 4.0. Everything below written here.