1<?php 2 3$lang['server_var_name_of_auth_system'] = 'Variablen-Name des Servers für authentifizierte Benutzer entsprechend Ihrem Authenti fizierungssystem.'; 4