Am Montag, dem 14.10.2024 um 18:22 +0200 schrieb Jean-Marc Lasgouttes: > Oh. I am not sure we want to go this far. Didn't want to suggest that. This is just an academic discussion. -- Jürgen