Translated by John Macky.