nederlandsche historische bibliotheek Prins Willem III : de stadhouder-koning / N. Japikse : Deel II Uitgevoerde reparaties : de 17e eeuwse "Amsterdamse Rustingen"