Copyright (c) 2022 by Jürgen Knauth.
All rights reserved. Copying is prohibited.
