Electron Energy Distribution Function in a Hall Discharge Plasma