4725 ) Rättens ombudsman.