--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Henk</name>
+ <surname>Barendregt</surname>
+ <qualification>Prof.</qualification>
+ <position>Full Professor, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>