Formation of the phases Ti3Al and TiAl by high-dose implantation of aluminium into titanium