var försäkrad för 7,000 och smedjan för 4,000 kronor,