S. 0712 ) Rättens ombudsman.