I found an English version of the DHST protocol today, so I replaced the
German version on my web page. While using GBE I discovered 2 minor
glitches that nobody reported. So it seems the next update is already
underway.