de Kock ( Oeuvres , kompl.