dykeribolaget Neptun af sammankallad kompromiss , såsom arvode för bergningen i december månad af engelska ångaren Pretoria.