Text in English, translated from the German.