[mrieglhofer]

Es hat zumindest den Vorteil, dass es dann auch bei Arbeitsblende scharf ist, was sonst durch Blendenshift nicht sein muß.