6923 ) Rättens ombudsman.