pensionen till Johan Sverdrup af 4000 kr.