Title: The Codex Leicester by Leonardo da Vinci; sold by order of the trustees of the Holkham Estate