vid Gibraltar för införsel från kolerasmittade hamnar och dessutom förbjudit införsel från sådan plats af varor ipackor