Anfonwch hwn fel neges destun: Quantifier elimination for counting extensions of Presburger arithmetic