In the 1980′s there was a Halloween cartoon movie that aired on television. It had a song with the lyrics – “Halloween, the witch is magic…” What is the name of that movie??