. "This section addresses embezzlement by bank examiners and assistant bank examiners, when the money embezzled is taken from any banking institution that is a member of the Federal Reserve System, insured by the Federal Deposit Insurance Corporation, is a branch or agency of a foreign bank, or from any safety deposit box." . . .