If we go by his numbers and assume the EU uses exactly 50Hz, then +1 minute over a week (7 * 24 * 60 min = 10,080 min) would mean that the frequency in the UK i

If we go by his numbers and assume the EU uses exactly 50Hz, then +1 minute over a week (7 * 24 * 60 min = 10,080 min) would mean that the frequency in the UK is roughly 10081/10080 * 50 ~ 50.005Hz. I'm not sure if that is the case.