That's intriguing! I was under the impression that the mains frequency varied, which is why mains hum is useful for dating recordings. It appears there is some drift (but why?), although they aim to keep the average stable over a certain period. The article states that the device primarily relies on mains frequency for timekeeping, using the crystal oscillator as a backup. I found that unexpected, though I'm not well-versed in either topic.