Per Oskar Andersen (1930–2020)