Did you know that according to a legend of the Pyrenees , witches performed naked dances near Lake Engolasters in Andorra ?