varf för en kostnad af omkring 5,000 kr.