Laguna Grande de Gredos, NAVALPERAL DE TORMES