Laut diesem Artikel waren es knapp 6000 Leute. http://maspalomasahora.com/not/19495/maspalomas_perrea