Die durchschnittliche Beamtenpension liegt, glaube ich, bei 3800 Euro – das ist ja gigantisch im Vergleich zu denen, die in die Gesetzliche einzahlen.