4742 ) Rättens ombudsman.