The area was settled by man from at least the 4th millennium BC , .
The area was settled by man from at least the 4th millennium BC , but first mentions of the city are from the 9th century AD .