Am Montag, dem 14.10.2024 um 13:50 +0200 schrieb Jean-Marc Lasgouttes: > What about adding char-lowercase and char-uppercase instead? This would work as well. -- Jürgen