Jahrelang hatte Berlin seinen Beamten zu wenig bezahlt, rügte das Bundesverfassungsgericht. Die Reparatur könnte Milliarden kosten.