Israel: Gewerkschaft beendet Streik im Öffentlichen Dienst