6718 ) Rättens ombudsman.