 Yes, it remained neutral all the way through the Second World War. And they were quite fearful that the Germans, who were very anxious to take Gibraltar, that the Germans would enter Spain and seize Gibraltar because it was such...