Entitling a certain former disabled Hennepin county employee to a joint and survivor benefit under the public employees retirement association (PERA)
(je)