Wie hoch ist das Ruhegehalt?