belopp , hvarmed dessa tjenstemäns pension numera utgår.