De restauratie van het Koninklijk Paleis Het Loo (Staatsuitgeverij, 1972)