DCF77 decoding with an Arduino