visade sig , att Norges hela stadsbefolkning då blott utgjorde 72,000 personer.