Herzlichen Dank für die Info, Julius. Das Update gibt es zwar schon etwas länger, aber nicht immer bekommt man das auch mit. Unterschiede in der Praxis habe ich übrigens nach der Aktualisierung (für mich) nicht feststllen können. Aber egal, schaden kann's nicht.

Gruß
Ralf