Анимационный фильм "The Secret Adventures of Tom Thumb" ("Тайные приключения Мальчика-с-Пальчик")