English Benedictine Libraries: the Shorter Catalogues