Es ging ums Einkommen, aber auch um Arbeitszeiten in Deutschlands Öffentlichem Dienst. Seit Januar stritten Gewerkschaften und Arbeitgeber darüber, es gab Streiks und Schlichter mussten ran. Nun liegt eine Einigung vor.