BTW, thanks to all who helped in improving this issue.
Karsten-- GPG key ID E4071346 @ gpg-keyserver.deE167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346