Copyright (C) 2022, 2023 Enrico Flor. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License ...