Repairing pipelines, tubes