inbragt Kristiania stad den nätta extra inkomsten af 1 / 2 million kronor.