Arbeitgeber und Gewerkschaften des öffentlichen Diensts haben sich auf einen Tarifabschluss geeinigt