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 , .