i Kristiania almindelige brandforsikringsselskab för tillsammans 11,500 kr.