Deutschlands größter Arbeitgeber: Über fünf Millionen Bürger im öffentlichen Dienst