The Mortality Impact of Cholera in Germany