Kristiania folkmängd utgjorde år 1800 icke fullt 10 000 personer;