>> BTW, the term 'public domain' is problematic in Europe, since this
>> US law construct doesn't necessarily mean the same in all
>> countries, in particular not in Germany.[*]
>>
>> Maybe it should be changed to CC0
>> (https://creativecommons.org/publicdomain/zero/1.0/deed) for
>> further contributions?
>
> I'm not seeing clearly into what that means for us. LSR is based in
> Italy (hosted on a server provided by the University of Milan). If
> a German citizen contributes a snippet, which definition of 'public
> domain' applies?
This is exactly the issue. By using CC0, the legal impacts are
minimized.
At the time of inventing the LSR, such copyright issues were handled
in a rather lax way. Today, we (unfortunately) have to take a more
informed point of view.
Werner
