embetsman bör erhålla * / 3 af sin förra lön i pension.