Asiatisk kolera i Tyskland.