Silvia von Stackelberg, Klemens Böhm and Matthias Bracht
Technical Report, Faculty of Informatics, to be published