The History of Gibraltar and of its Political Relation to Events in Europe