officielt betecknats såsom asiatisk kolera.