Jon Christensen — Norwegian jazz musician (1943–2020)