Scientific Computing Group, Heidelberg Institute for Theoretical Studies, 69118 Heidelberg and Department of Informatics, Institute of Theoretical Informatics, Karlsruhe Institute of Technology, 76128 Karlsruhe, Germany.