Manuscript of Ismail al-Jazarī's Ingenious Mechanical Devices (ca. 17th century)