under benämningen " asiatifl kolera ".