jern för en kostnad af cirka 12 000 kr.