mailaddr frenzel@kurt.inf.tu-dresden.de, fm3@kurt.inf.tu-dresden.de

