Per Monsen — Norwegian editor (1913–1985)