alt desse tjenstemäns ålderstillägg endast bestämmes till 400 kr.