File on the construction of the Rijksmuseum