Synthesis of cold and trappable fully stripped highly charged ions via antiproton-induced nuclear fragmentation in traps