Discrete Abelian gauge theories for quantum simulations of QED. (6th July 2015)