försäkrad i Kristianiabolaget för 7,000 kr.