Laut dbb gab es 2022 deutschlandweit 1,919 Millionen Beamte sowie 1,758 Millionen Versorgungsempfänger. Geht man von gleichen Anteilen aus, gab es also neben den genannten 369.000 aktiven Bundesbeamten (inklusive Soldaten) zusätzlich rund 338.000 Bundes-Versorgungsempfänger, also insgesamt 707.000 "betroffene" Personen. Macht pro Nase durchschnittlich 1.179 € im Monat.
Außerdem betragen laut statista die Personalkosten dieses Jahr 9,7% des Bundeshaushalts. Laut bundeshaushalt.de liegt dieser in diesem Jahr bei 477 Mrd. €, so dass die geschätzten Personalkosten aktuell rund 46,3 Mrd. € betragen.
Die genannten 10 Mrd. € entsprechen also einem geschätzten "Verfassungswidrigkeits-Beseitigungs-Aufschlag" von 21,6% für jeden von uns.
Klingt eventuell erst mal "üppig", aber z.B. die gerichtlich festgestellten Verletzungen des Mindestabstandsgebots waren meines Wissens teilweise sogar noch betragsmäßig gravierender..
Edit: Mir ist gerade noch aufgefallen, dass man die Tarifbeschäftigten aus den Personalkosten herausrechnen muss. Aber erstens sind es beim Bund "nur" 157.000, außerdem dürfte der Durchschnittsverdienst mutmaßlich unter dem der Beamten liegen, so dass der Effekt überschaubar sein sollte (vielleicht liegt unser "Bonus" dann eher bei 25% statt 21,6%).