@david_chisnall Would you happen to have a link to a more or less official publication of the German original?

> Somewhat more verbose in the original German