Konungen och riksrättsdomens verkställande.