Mobility of F centers in electrolytically colored potassium halides