Nächster Dresdner TeX-Stammtisch am Montag, den 13. Juli.