<?php /* Session */ session_start (); if ( ! isset ($_SESSION ["Benutzername"]) ) { header ("HTTP/1.1 400 Bad Request"); exit (0); } ?>