The crystal structure of the iridium silicide Ir3Si5