Translations by Hochstetter: