Stadens folkmängd , som år 1723 blottutgjorde