Prof. Michaelis , en af cheferna för gammalkatolikerna,