Laying of pipes