Wie hoch ist die Betriebsrente bei der Deutschen Post?