Dresdner TeX-Stammtisch am nächsten Montag, den 16. November