Many thanks for your reply.
I tried the link, but it doesn't work. I just get "Files.html" when klicking on the link.
I am using Win 11 with the latest updates. Maybe this Windows version doesn't allow me to open the file.