Geologiske undersøgelser i Bergens omegn - Irgens, Marius Frederik