How to whip and fuse the ends of a rope