Folkmängden i Kristiania varvid