My memory has faded. What is the movie with Gene Kelly where he dances with Jerrythe mouse(of Tom and Jerry)...and is it on DVD?