Otto Arntzenius — Dutch classical philologist and high school teacher