2 ms·

Yeah, pretty sure I was hearing about German cities switching every few months for the past ten years or so.