professor CornelinS 21 , professor Tor^i 0 , prosten A.