utnämde konungen till hedersdoktor var detta också ingen tom artighet utan en välförtjänt utmärkelse.