${lead}
Dann kann man zwischen Stretch (der bisherigen Einstellung) und Zoom umschalten. Nur wenige Apps erlauben das im Betrieb und dann auch nicht an jeder Stelle.
