Hallo Leute, Donnerstag 7.7. ist wieder Stammtisch ab 19 Uhr. Wieder im Bottoms Up (https://www.openstreetmap.org/node/67354286). Ich hab nix reserviert, bisher hats immer so geklappt. Jochen -- Jochen Topf jochen at remote.org https://www.jochentopf.com/ +49-351-31778688