4725 ) Rättens ombudsman'