Folkmängden i Kristiania vid senastefolkräkning