han ännu af Hollands regering en mindre pension såsom ersättning för detjenster