Imperial Splendor: The Art of the Book in the Holy Roman Empire, ca. 800–1500