utnämner regeringen krigsrättens ledamöter.