Auf einmal geht es! Ich kann auch nicht sagen, was da geholfen hat. Ich habe einfach eine Reihe von Sachen durchprobiert, so auch das xdotool, das ich installiert und einmal aufgerufen habe, allerdings ohne Parameter. Ich habe jetzt bei einem Testbild den Pinsel mittels 'Ö' vergrößert.