man , oaktadt flitiga draggningar i kanalen , lyckats återfinna liket efterden