W.F. Leemans — Dutch civil engineer (1841-1929)