Übersetzung der Einleitungen von DEF/I