Änderung von Werten temporärer Attribute

  Änderungen von Werten  temporärer Attribute werden nicht ohne weiteres protokolliert, da sie nicht von den durch das Labor bereitgestellten Methoden durchgeführt werden. Hier muß man durch Aufruf von push()-Methoden dafür sorgen, daß die Änderungen protokolliert werden.