Translated from the German.--title page.