Translations from the German