The best paintings of the Dutch Royal Collection in 1830 — art catalog of the Mauritshuis collection