Åtgärder mot koleran i Danmark.