A limit theorem for inter-record times