den Dokumenten-Manager"; $langSendPage = "Seite hochladen"; $langPageTitleModified = "Der Titel der Seite wurde verändert"; $langPageAdded = "Seite wurde hinzugefügt"; $Choose = "Wählen"; ?>