tjenstgörande professorer uppnått pensionsåldern.