tomt , tillhörig Kristiania stad.