Wie hoch ist die Sonderzahlung für Beamte?