A doubled-ended queue with catastrophes and repairs, and a jump-diffusion approximation (Abstract)