So viel bekommen Berliner Beamte nachgezahlt