system used for assigning telephone numbers in the British Overseas Territory of Gibraltar