Oh, I didn't know that! Here in Brazil, top 50th percentile or so civil servants are likely to be paid about the same as top 10th percentile in the industry (approximating the numbers based on personal knowledge).