Inventory of plaster casts in the Rijksmuseum.