Herlof Gjerde — Norwegian politician