ägde staden omkr. 5,000 invånare , nu har den omkr. 12 , 000.