Devices for covering leaks in pipes or hoses, e.g. hose-menders from outside the pipe {by means of a patch which is fixed on the wall of the pipe by means of an adhesive, a weld or the like}