How many episodes of the Spanish animated television series, on which "The Gnomes' Great Adventure" was based, were produced?