You are visiting a site converted from Gemtext to HTML, what you really want is to visit the site with the Gemini protocol at gemini://gemini.lehmann.cx/
The site was converted with gemini2html.
$body$