--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Michael</name>
+ <surname>Kohlhase</surname>
+ <qualification>Dr.</qualification>
+ <e-mail>kohlhase@cs.cmu.edu</e-mail>
+ <url>http://www.ags.uni-sb.de/~kohlhase/</url>
+</person>