Br├╝ckner, M, Institute for Computer Science, Humboldt-University Berlin, Rudower Chaussee 25, 12489 Berlin, Germany