Dr. Herman Haverkort
This page has been moved to
http://tcs.cs.uni-bonn.de/doku.php?id=staff:hermanhaverkort
.