De Rijn in de R.A.I., Officiële Catalogus van de expositie en Programma van de feestelijkheden ter gelegenheid van de opening van het Amsterdam-Rijnkanaal, 21 mei - 15 juni 1952