Text this: Digital extraction of the magnetic-flux distribution from an electron interferogram.