— Odelstinget och riksrättsdomens exekntion.