sä att Kongsberg under sin blomstringsperiod , hwilken egentlige » inföll under midten af förra århundradet , hade mera än dubbelt sä mänga inwänare ,9,000