6312 ) Rättens ombudsman.