Pensioengeluk De tevredenheid van een oudere heer met zijn rode hoed