När choleran 1831 infördes i Europa,