[785] Helland, Amund Theodor, norweg. Geolog, geb. 11. Okt. 1846 in Bergen; Untersuchungen, Handbücher etc.