if(!isset($_SESSION)) {session_start();}
			if($_SESSION['username'] != "") {
				echo "<span id=login>Eingeloggt als " . $_SESSION['username'] . "</span>";
			}