Translated by P.G. Walsh.