berättats , att de # ejelfgjorde professorns verkliga namn ej är Thörnvall.