restaureras för en kostnad af 9,000 kr.