Cumulative record times in a Poisson process

We obtain a strong law of large numbers and a functional central limit theorem, as $t\to\infty$, for the number of records up to time $t$ and the Lebesgue measure (length) of the subset of the time interval $[0,t]$ during which the Poisson process is in a record lifetime.