professorerna Stenstrup och Johnstrup,