A treasure house of books : the library of Duke August of Brunswick-Wolfenbüttel