Diehl, Paul and Gleditsch, Nils Petter