How did the Rock of Gibraltar get...

The rock and the city are a British fortress and naval air base, constituting a British colony. They came under British occupation in 1704 but did not become part of the empire until 1711, when an agreement with France ended Dutch and Spanish control. Spain accepted this in the Treaty of Utrecht in 1713 but has been trying to regain Gibraltar ever since, sometimes through force, other times through diplomatic means. In 1967, the people there voted to remain under British rule. The United Nations requested that Great Britain end Gibraltar’s colonial status on October 1, 1996, but this did not happen.