Ora funziona correttamente anche la duplicazione. Ho fatto qualche altra
piccola sistemazione.