Involvement of P.J.H. Cuypers in the restoration of the sculpture of the tomb of Michiel de Ruyter in the Nieuwe Kerk in Amsterdam.