Folkmängden i Kristiania utgör ,enligt