Gewerkschaftsstreit beendet