How the cholera epidemic of 1831 resulted in a new technique for fluid resuscitation