Eprint 2020/1238: Adapted authors to revised version.

[RomanLangrehr]

The paper was revised and the authors changed (a new author and order of the authors).

I did not change the key.