Short animated film about Hermenegildo Lanz, the Pioneer of Spanish Puppetry