dennes utsett professor G . Mittag-Leffler till högstolans rektor.