Don't forget the (massive) tax benefits as government employee. To get the same net amount at the end of the month, in Germany you would have to make several thousand € more per year in the private sector.

In the end, you are still right but it's still a factor.