The space group of MnAl3