Any civil servants here? How much is the pension for recent retirees?

They have worked for over 30 years.
One went from grade 9 to grade 5 (retired last year).
One went from grade 9 to grade 6 (about 3 years left).
For administrative civil servants, roughly how much pension would each of them receive?