Wie hoch ist die Tariferhöhung im öffentlichen Dienst?