6722 ) Rättens ombudsman.