folkmängd uppgär till öfwer 13 , 000 , och minst 3,000 extra innewänare —arbetare