professor Gervinus har i dag kungjorts.