Bergsskattemannen Erik Jantzen i Mjögrefsundet,