Definable sets up to definable bijections in Presburger groups. (4th January 2018)