electromagnetic electron lens