af konungen eller regeringen för att domen skall kunna » verkställas.