Populations in Spain with more than 5,000 inhabitants from the 17th century to the first half of the 19th century