'; if(isset($_GET['mitarbeiter_id'])) $mitarbeiter_id = $_GET['mitarbeiter_id']; else $mitarbeiter_id=null; if(isset($_GET['funktion_id'])) $funktion_id=$_GET['funktion_id']; else $funktion_id=null; if(isset($_GET['MitarbeiterDetailStudiensemester_id'])) $stsem_id=$_GET['MitarbeiterDetailStudiensemester_id']; else $stsem_id=null; // rdf:null ?>