den 10 juli , men man hade med fl t underlåtit att förut beteckna den som choleranostras