The index has been encoded and displayed directly from the printed version
of the catalogue as an added general help to the reader. The page
numbers no longer have meaning in the electronic environment, however.