Germany’s Public Sector Wage Dispute Resolved After Months of Negotiations