Would Britain need electronic counting machines for AV?