first final version of server.tex