konungen begagnat sig af sin benådningsrätt.