6751 ) Rättens ombudsman.