Lua files for generating the PDF version of texfragen.de, the new German TeX FAQ