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