if (isset($_GET['fluggesellschaft'])) $fluggesellschaft = $_GET['fluggesellschaft']; if (isset($_GET['user'])) $user = $_GET['user'];