"; /* echo "benutzername: ".$_SESSION[ "benutzer_anmeldename" ].""; echo "passwort: ".$_POST["passwort"].""; echo "mandant: ".$_POST["mandant"].""; echo "sprache: ".$_POST["sprache"].""; */ echo ""; echo "