KOCK Petrus Johannes, de 1859-1938