Nur der Vollständigkeit halber: am April-Stammtisch kam raus, dass der Mai-Stammtisch wegen Feiertag ausfällt. Der nächste Termin wäre dann am 5. Juni 2019. Happy mapping, P.