10.1.2021 Web site has been relocated
I am currently moving all HTML pages from my personal domain to GitHub pages. The old web site will go away once this is done.
5.3.2020 New web site in place
The old web page is gone for good. I replaced it by a new template scheme which allows me to publish in a more blog-style manner.