hade ansett , att en ledning skulle kunna läggas för cirka 600 kr.