Wie hoch ist die Durchschnittsrente in Holland?