dagars karantän vid Gibraltar för införsel från kolerasmittade hamnar och dessutom förbjudit införsel från sådan plats af varor i packor och balar.