(Nutzung des grafischen Debuggers DDT)