Humboldt-Universität zu Berlin, Institut für Informatik
e-mail:
maschmid [at] informatik.hu-berlin.de