Schön dass die Sommerzeit nun berücksichtigt wird 
Einen kleinen Änderungsvorschlag hierzu hätte ich noch.
Im Moment werden die UTC-Zeiten von der ARD mit den MEZ- und MESZ-Zeiten der PTB verglichen. Um die Zeiten vergleichbar zu machen, müssten letztere auch in die UTC umgerechnet werden, also -1 für MEZ und -2 für MESZ.
Im Quellttext müsste die Variable summer_time also wie folgt aussehen:
Python
summer_time = [ "2019-03-31T01:00:00Z|2019-10-27T01:00:00Z",
"2020-03-29T01:00:00Z|2020-10-25T01:00:00Z",
"2021-03-28T01:00:00Z|2020-10-31T01:00:00Z",
]