Binary DCF77 clock

Sounds you are making Serious Work (with capitals) of it. I recall that DC77-decoding was one of my first sketches but never got beyond a "standard" implementation.

I bookmarked the 2 books about signal processing!