Kristiania folkmängd uppgick den 31december