hedersdoktorernas namn torde kanske redan vara kända hemma .)