— Choleran i Danmark.