Nota informativa de la Oficina del Censo Electoral sobre la formación del censo electoral de extranjeros residentes en España para las elecciones municipales de 28 de mayo de 2023