"); define('ADMIN_THEME_ALREADY_INSTALLED_2', " Themes bereits installiert!"); define('ADMIN_THEME_NOTHING_FOUND', "Keine Themes auf dem Server gefunden!"); // ?>