af Drammens befolkning , hwilken enligt sista folkräkningen utgjorde 13 , 000,