Shift of an electron interference pattern by enclosed magnetic flux