Gibraltar opened its first comprehensive school in 1972. When was the first comprehensive school opened in Gibraltar?