Los duendes y el zapatero (Cuento animado, 1968)