Tarifverhandlung. Ende der Streikzeit – Hochbahn und Verdi einigen sich