för 3,000 kronor och lösegendomen i Kristiania almindelige brandforsikringsselskab för 4,000 kronor.