This is a cross post of @hartiberlin/dncxsantlr by @hartiberlin.Weil das ein Bericht in Deutscher Sprache ist, poste ich das mal am besten hier rein... Ist zwar eher ein Urlaubsbericht, aber ne andere passende Gruppe hatte ich nicht gefunden... ;)
