Martin,

on Wed, 28 Apr 2021 08:39:11 +0000 you ("Uecker, Martin"
<Martin.Uecker_at_[hidden]>) wrote:

> I would probably prefer changing it in the grammar, but is
> this realistic?

no idea, that is exactly what I am trying to find out ;-)

Thanks
Jₑₙₛ

-- 
:: INRIA Nancy Grand Est ::: Camus ::::::: ICube/ICPS :::
:: ::::::::::::::: office Strasbourg : +33 368854536   ::
:: :::::::::::::::::::::: gsm France : +33 651400183   ::
:: ::::::::::::::: gsm international : +49 15737185122 ::
:: http://icube-icps.unistra.fr/index.php/Jens_Gustedt ::