sedan är nu Kristianias befolkning.