mailaddr reuther@kurt.inf.tu-dresden.de, jork@kurt.inf.tu-dresden.de
