Im öffentlichen Dienst arbeiten in Deutschland über 5 Millionen Menschen, .