Nein, Beamte sind nicht in den 35 Mio drin. Beamte zahlen nicht in die gesetzlichen KV, PV, RV und ALV ein und zählen deshalb nicht zu den sozialversicherungspflichtig Beschäftigten.