I remember seeing that animation as part of an animation festival (popular in the late 80's / early 90's). A little digging at Amazon found this, which seems to include what you're looking for.