a sealing material being introduced inside the pipe by means of a tool moving in the pipe