Prof. Dr. Ringo Baumann
Computer Science Institute
Leipzig University
Augustusplatz 10
Room P819, Paulinum
04109 Leipzig, Germany