det murade och täckta diket , skulle kosta 6,500 kr. , det billigare , med sjelfrensande rör ledning , 5,150 kr.