Riggs Library, Georgetown University, USA.

Riggs Library dates from the nineteenth century, and was once the institution's primary library, but is now devoted primarily to archival historical materials and as a setting for formal university functions.