Translations by Petzold: