The Gnomes' Great Adventure

The Gnomes' Great Adventure (La gran aventura de los gnomos) is a 1987 animated film compiled from episodes of the BRB International series The World of David the Gnome. Two dubs of the film exist, one produced by Miramax in 1987 with the series' dub cast and a few celebrity voices, and another produced in 1995 in the U.K.