Folkmängden i Kristiania den31