Translated by Aryeh Finkelstein.