Thorleif Schjelderup (1920–2006)