ter " , som nu bytt om namn och heter " Gibraltar " undkom sinförföljare