As reported in

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40803

there are problems with the cookbook:

* The single-page html file was missing.
* Languages other than English and German don't make sense: There is no
translation available.

The attached patch fixes these problems.

Björn