ordinarie professionerna år 1880 afsedd för geologi.