pensioner till de afstedade tjenstemännen.