Geschichte des öffentlichen Gesundheitswesens: Cholera, Max von Pettenkofer und Robert Koch