någon af de under riddarhusdirektionens förvaltning stälda pensionsfonder erhållerpension