Datei-Manager."; $string['notypechosen'] = "Sie müssen einen Typ auswählen. Verwenden Sie den Zurück-Knopf und probieren Sie es erneut"; $string['readingtype'] = "Typ der Quelle"; $string['readingtype1'] = "Referenz"; $string['readingtype2'] = "Internet-Seite"; $string['readingtype3'] = "Hochgeladene Datei"; $string['readingtype4'] = "Reiner Text"; $string['readingtype5'] = "Internet-Verknüpfung"; $string['readingtype6'] = "HTML-Text"; ?>