The crystal structure of Ce5Mg42