Hamburg. Gewerkschaft und Hafenbetrieb finden im Tarifkonflikt einen Kompromiss. Für Ver.di ein Erfolg der Warnstreiks.