Andreas Kock
E-mail: kock@informatik.hu-berlin.de
Web address: http://www.informatik.hu-berlin.de