Ernst W. Mayr
Institut für Informatik
Technische Universität München
D-80290 München
Germany
mayr@informatik.tu-muenchen.de