Justinus Hendrik Egbert van Nagell — Dutch mayor