define('ADMIN_POINTS_SHREDDED', "Es wurden <u>%s</u> {!POINTS!} geschrettert.");
define('EXTENSION_WARNING_EXT_INACTIVE', "Die Erweiterung <u>%s</u> ist nicht aktiv. Dies kann zu Störungen führen.<br />\nBitte aktivieren Sie diese unter <em>Verschiedenes->Erweiterungen</em>.");
define('EXTENSION_WARNING_USER_LIMIT', "Die Erweiterung <u>user</u> ist nicht aktiv. Die Anzahl User pro Seite wurde auf 100 gesetzt. Bitte aktivieren Sie diese unter <em>Verschiedenes->Erweiterungen</em>.");
+define('ADMIN_PROXY_SETTINGS_INVALID', "Ihre Proxy-Einstellungen scheinen ungültig zu sein!");
+define('ADMIN_EDIT_PROXY_SETTINGS', "Proxy-Einstellungen ändern");
+define('ADMIN_CONFIG_PROXY_HOST', "Hostname oder IP-Nummer:");
+define('ADMIN_CONFIG_PROXY_PORT', "Port-Nummer (z.B. 8085):");
+define('ADMIN_CONFIG_PROXY_USERNAME', "Benuztername (falls vorhanden):");
+define('ADMIN_CONFIG_PROXY_PASSWORD', "Passwort (falls vorhanden):");
//
?>