äro ; docenten i historien ,prof.