4265 ) Rättens ombudsman.