How Librarian Spies Helped Win World War II