Teorica and Elementi macchinali two lost treatises of Leonardo da Vinci on mechanics - Lohrmann, Dietrich 1937-; Alertz, Ulrich; Hasters, Frank (2012)