The Codex Hammer, formerly the Codex Leicester, by Leonardo da Vinci