[Verteiler-admins] Das neue Mailman3 Setup ist online