Juni , i anledning af cholerans utbrott i Köpenhamn;