Zagreb is a city with a rich history dating from the Roman times to the present day. The oldest settlement located in the vicinity of the city was the Roman Andautonia, in today's Ščitarjevo. The name "Zagreb" is recorded in 1134, in reference to the foundation of the settlement at Kaptol in 1094. Zagreb became a free royal town in 1242. In 1851 Zagreb had its first mayor, Janko Kamauf, and in 1945 it was made the capital of Croatia when the demographic boom and the urban sprawl made the city as it is known today.