hvarmed dessa tjenstemäns pension numera utgår.