almindelige brandlorsikkrings-selskab 5,000 kronor.