6312 ) Rättens ombudsman,