loeschen($_GET["doznr"]); echo "
Dozent gelöscht
"; } header("refresh:3; url=dozenten.php"); ?>