regel att vid ledighet i högsta domstolen insätta riksdagens justitieombudsman.