Delaware Code Title 29. State Government § 5529. Death benefit

Upon the death of an employee, former employee or pensioner or if a survivor's pension is payable upon such death, when such pension ceases to be payable, there shall be paid to the designated beneficiary or, in the absence of a designated beneficiary, to the estate of the employee, former employee or pensioner a lump sum equal to the excess, if any, of the accumulated employee contributions with interest over the aggregate of all pension payments made.