lercher@cs.uni-duesseldorf.de