So perhaps that was the failure mechanism. Rugby went down for
maintainence or its signal got locally shadowed/echoed/interferred with
and if Darmstadt was a stronger/clearer? signal , perhaps reset itself
to CET time for a while. The Casio having a preset station option , it
may loose updating but it would not try to find another code source.