kostnad för det nya embetswerket skulle blifwa 7.000 kr.