skulle verkstälts , hade kostnaden kommit att något öfverstiga 25,000 kr.