buttons.js

runlatex.texts ={
    "Open in Overleaf": "In Overleaf öffnen",
    "TeXLive.net":      "LaTeX Online",
    "Delete Output":    "Fenster schließen",
    "Compiling PDF":    "PDF erstellen",
    // The following not used on learnlatex.org
    "edit":             "Bearbeiten",
    "copy":             "Kopieren",
    "Added Code":       "Added code",
    "End Added Code":   "End Added code",
    "Top Caption":      "Edit and run this example:"
}