El arroyo del Gargantón cruza el pueblo, HERVEDEDO