The Double Elephant Folio: Where Did It Come From?