del krigsrätten fällt domen.