af asiatisk cholera i Berlin.