Tore Lindholt — Norwegian civil servant and politician (1941–2021)