Duendes: ¿Cuál es la altura máxima de un duende doméstico?