Die Streiks im öffentlichen Dienst in Deutschland weiten sich aus