The structure of Al2O3 implanted with iron at 77 K