Habe es mir anders überlegt: Weil mich die Umformulierung aus einem anderen Grund nicht überzeugt, habe ich jetzt schon die angekündigte Kürzung gemacht. Auch damit es noch deutlicher wird, daß sich dieser Diskussionspunkt erledigt hat.