Prof. Dr. Thomas Kühne (Assistant Professor) now Associate Professor at the Victoria University of Wellington kuehne@informatik.tu-darmstadt.de
