This is the pre-final version of the eLex 2021 proceedings. The final version, including separated individual papers, will be made available soon.