Verordening (EU) 2017/1939 betreffende nauwere samenwerking bij de instelling van het Europees Openbaar Ministerie (‘EOM’):artikel 9