Nur als Erinnerung: Heute ist KEIN Stammtisch. Diesen Monat haben wir ihn verschoben, er findet erst nächste Woche statt, am Donnerstag, den 9.10. https://wiki.openstreetmap.org/wiki/Stammtisch_Dresden Viele Grüße Jochen -- Jochen Topf jochen at remote.org https://www.jochentopf.com/ +49-351-31778688