Gerardus Hendrikus de Bruijn (1850-1937) by P.M. van der Velden