$DOCUMENT_ROOT = $HTTP_SERVER_VARS['DOCUMENT_ROOT']; include "$DOCUMENT_ROOT/html/de/nav/menu.php"; ?>
$DOCUMENT_ROOT = $HTTP_SERVER_VARS['DOCUMENT_ROOT']; include "$DOCUMENT_ROOT/html/de/nav/submenu.php"; ?>