byggnader , maskiner och verktyg ; samt omkring 10,000 kr.