Das monatelange Ringen im Tarifstreit des öffentlichen Diensts hat ein Ende: Nach zähen Verhandlungsstunden einigen sich alle Seiten auf einen Kompromiss. Grundlage dafür: ein Schlichtervorschlag aus der vergangenen Woche.