// $_SESSION['WebNutzerNr'] = 'M64297000';