24900 ) Rättens ombudsman.