The implantation profiles of 10, 20 and 40 keV 85Kr in gallium arsenide