hafva påbjudit 14 dagars karantän vid Gibraltar för införsel från kolerasmittade hamnar och dessutom förbjudit införsel från sådan platsaf