afrättade efter krigsrättens dom.