<?
	require 'inc/config.php3';				// Variablen Deklaration
	require "$inc_path/db_connect.php3";		// Datenbank Verbindung
	require "$inc_path/auth.php3";			// Authentifizierung
	require "$inc_path/updatelog.php3";		// Update logging
	require "$inc_path/user_track.php3";		// User Logging

	del_listenelement($listeElement);

	require 'inc/db_disconnect.php3';
	header("Location: element_edit.php3?projekt=$projekt&dokument=$dokument&bereich=$bereich&dokDefID=$dokDefID");
	exit;
?>