translated by Richard J. Reisner