"superuser" ) { $_SESSION[ "benutzer_anmeldename" ] = ""; header("Location: index.php"); } $mandant_udeg = $_GET[ "mandant_name" ]; $_SESSION[ "title" ] = "Mandantenverwaltung"; virtual( 'ssi_header.php' ); $_SESSION[ "title" ] = ""; virtual( "su_menu.php" ); echo "