under namnet cholera nostras.