The war and siege: language policy and practice in Gibraltar, 1940-1985