Modifiche all'ordinamento giudiziario, di cui al regio decreto 30 gennaio 1941, n. 12, e al codice di procedura penale per l'attribuzione al procuratore nazionale antimafia delle funzioni di coordinamento in materia di terrorismo