The population doubled during the 18th century.