German Civil Servants Get Pay Increase in Excess of Inflation