“Pimentón de la Vera”).