S. 0723 ) Rättens ombudsman.