6399 ) Rättens ombudsman.