nämnes rektorn Hans Holmlin.