Laguna de Gredos, NAVALPERAL DE TORMES