en egendom i Ostersund för 12,000 kr.