Jacobus Cort van der Linden — Civil servant in the Netherlands