för ålderstillägg åt desse tjenstemän.