Original: 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.
Simplified: The area was settled by man from at least the 4th millennium BC,.