How to Tie a Double Fisherman's Knot