Was verdient ein Beamter bei der Rentenversicherung?