dervold.s .s pension , — Bör Sverdrup förblifva stortingets president?