Prof. Dr. Christopher HabelHead of WSVHead of WSVAddressUniversity of HamburgFaculty of Mathematics, Informatics and Natural SciencesDepartment of InformaticsArbeitsbereich WSVVogt-Kölln-Straße 3022527 HamburgContactEmail: christopher.habel"AT"informatik.uni-hamburg.de