edited by Walter Bergmann.