Wann brach die Cholera in Hamburg aus?