Riksrättsdomen har af konungen exeqverats,