Am Donnerstag, dem 14.05.2026 um 10:59 +0200 schrieb Pavel Sanda: > Anyway, Juergen's terse style did not make it clear to me that > in this particular thread Claude's answer was actually wrong > and it was probably better not to mess around here. Yes, sorry about that. -- Jürgen