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