likväl bekostar gjutningen , uppgående till 18,500 kr.