In fact, counting federal, state and local governments, Germany has some 6 million government employees (~4.8m directly and ~1.2m in public agencies). Also, there might be things that are government provided in one country and private in another (postal service, telcom and utilities, railway, schools, childcare...), which you would need to account for as well.