The library of Edward Gibbon : a catalogue