når ble statsminister gerhardsen født