Teacher retirement association service credit purchase autho rized for a specified former employee of independent school district No. 191, Burnsville-Eagan-Savage.