//-->
Preprint / Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik
Technical Report / Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg