Laying pipes