Högsta domstolen — varder ett krigsrätts mål behandladt af allmän domstol.