Authorizing and providing for the purchase of prior service credit in+ the Minnesota state retirement system (MSRS) by a certain employee of the department of employment and economic development (DEED) for certain +period of former service with the department of administration(ra)